Software Engineering Institute - PDFSEARCH.IO - Document Search Engine

Software Engineering Institute
Results: 1594

#	Item
231	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoOctober, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:37 Programming paradigms Abstraction Scheme Procedural programming Denotational semantics Id Pascal SQL ACT-R Computing Software engineering Programming language theory
232	The Impact of Design Properties on Development Cost in Object-Oriented Systems Jürgen Wüst Fraunhofer Institute for Experimental Software Engineering Sauerwiesen 6 Add to Reading List Source URL: www.sdmetrics.com Language: English - Date: 2002-12-27 10:09:24 Linear regression Software development effort estimation Cross-validation Ordinary least squares Generalized linear model Binomial regression Least squares Outline of regression analysis Statistics Regression analysis Poisson regression
233	Semantic Multimedia Information Retrieval Based on Contextual Descriptions Nadine Steinmetz and Harald Sack Hasso Plattner Institute for Software Systems Engineering, Potsdam, Germany, Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Knowledge representation Data management Semantics Technical communication Identifier Tag Natural language processing Ambiguity Indecs Content Model Information Data Metadata
234	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
235	1. Introduction The work described in this report continues similar work described in a previous report [3]. That report describes a software program that implements an optimal linear demodulator and decoder for direct-p Add to Reading List Source URL: www.eecis.udel.edu Language: English - Date: 1998-07-29 12:41:32 Time in the United States Electromagnetism Digital signal processing Electronic circuits Horology WWV Radio clock Analog-to-digital converter Modulation Electronics Electronic engineering National Institute of Standards and Technology
236	HKTA 1034 ISSUE 3 Oct 2009 PERFORMANCE SPECIFICATION FOR DIGITAL ENHANCED CORDLESS Add to Reading List Source URL: www.ofca.gov.hk Language: English - Date: 2012-03-26 23:25:38 Software-defined radio Technology Electronic engineering European Telecommunications Standards Institute Electronics DECT Standard Cipher Broadband Local loop Digital Enhanced Cordless Telecommunications
237	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
238	Cranfield Soil and Agrifood Institute Publications List Maps and Books Technical and Research Reports Digital Data and Software Add to Reading List Source URL: www.landis.org.uk Language: English - Date: 2015-01-07 04:33:14 Soil science Land management Geotechnical engineering Soil classification Soil map Soil survey Mere Land use capability map Erosion Soil Pedology Physical geography
239	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
240	PDF Document Add to Reading List Source URL: sparxsystems.com.au Language: English - Date: 2013-07-22 11:31:41 Information technology Software Australian Information Industry Association Pearcey Foundation Pearcey Enterprise Architect Model-driven engineering Australian Institute of International Affairs Information and communication technologies in education Technology Computing Communication

UPDATE